- refutation procedure
- процедура опровержения
English-Russian dictionary of computer science. 2015.
refutation procedure
Смотреть что такое "refutation procedure" в других словарях:
Aide:Arguments recevables lors d'une procédure de suppression — En résumé : Ces arguments ont sauvé des articles de la suppression dans le passé, ou ont permis de défendre un point de vue, et peuvent donc défendre le vôtre. Article connexe : Comment NE PAS argumenter lors d une procédure de… … Wikipédia en Français
Unit propagation — (UP) or the one literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.DefinitionThe procedure is based on unit clauses, i.e. clauses that are composed of a single literal. If a… … Wikipedia
Heraclitus — Catherine Osborne No philosopher before Socrates can have had such a profound influence on so many generations of subsequent thinkers as Heraclitus. Nor can any thinker, probably in the whole history of philosophy, have inspired such a wide range … History of philosophy
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
Charia — Pour l’article homonyme, voir Charia (ville). La charia ou charî a (arabe : الـشَّـرِيعَـة) représente diverses normes doctrinales, sociales, culturelles, et relationnelles édictées par la « Révélation ». Le terme… … Wikipédia en Français
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
History of abortion — The practice of abortion dates back to ancient times. Pregnancies were terminated through a number of methods, including the administration of abortifacient herbs, the use of sharpened implements, the application of abdominal pressure, and other… … Wikipedia
Corroboration — Le concept de corroboration fut introduit par le philosophe des sciences Karl Popper en 1934 dans La logique de la découverte scientifique ((de) Logik der forschung). Le concept épistémologique attaché à ce mot fut introduit par Popper afin de… … Wikipédia en Français
History of logic — Philosophy ( … Wikipedia
Chronologie de la vie d'Honoré de Balzac — Honoré de Balzac, né Honoré Balzac[1],[2],[3], à Tours le 20 mai 1799 (1er prairial an VII) et mort à Paris le 18 … Wikipédia en Français
Affaire Des Infirmières Bulgares — L affaire des infirmières bulgares est une longue procédure diplomatico judiciaire qui eut lieu en Libye entre 1999 et 2007 et dans laquelle les inculpés, cinq infirmières bulgares (Kristiyana Vultchéva, Nassia Nénova, Valéntina Siropoulo, Valya… … Wikipédia en Français
